New Abelian Square-Free DT0L-Languages over 4 Letters

نویسنده

  • Veikko Keränen
چکیده

In 1906 Axel Thue [34] started the systematic study of structures in words. Consequently, he studied basic objects of theoretical computer science long before the invention of the computer or DNA. In 1961 Paul Erdös [13] raised the question whether abelian squares can be avoided in infinitely long words. In 1992, we presented in [19], see also [20–23], an abelian square-free (a-2-free) endomorphism g85 on the four letter alphabet S4 = {a, b, c, d}. The size of g85 , i.e. |g85 (abcd)|, is equal to 4×85. Until now, all known methods for constructing arbitrarily long a-2-free words on S4 have been based on the structure of this g85 ; see Arturo Carpi [4–6]. In this paper, we report of a completely new endomorphism g98 of S4 , the iteration of which produces an infinite abelian square-free word. The size of g98 is 4×98, and the image words for letters are constructed, in part, differently from the case of g85 . For g85 they were directly obtained by permutating letters cyclically. The endomorphism g98 is not an a-2-free endomorphism itself, since it does not preserve the a-2-freeness of all words of length 7. However, g98 can be used together with g85 to produce a-2-free DT0L-languages of unlimited size. Here DT0L-languages mean deterministic context-independent Lindenmayer languages produced by using compositions of endomorphisms – so called tables; see [32, p.188]. Indeed, by using Carpi's algorithm [4] for prefixes of g85 (S) and g98 (S), and a modified version of this algorithm, one can check the following fact: for any a-2-free words w1 and w2 , where w1 does not contain a certain subword pattern, g98 (w1 ) and g85 (w2 ) are always a-2-free and avoid all undesirable patterns that would, in the case of g98 , lead to an abelian-square in the next iteration step. It is anticipated that later on this new result will lead to a sharper bound for the base number (~1.000021) found in [5], where Carpi showed that the number of a-2-free words over 4 letters of length n is ¥ 1.000021n . We explain extensive computer aided searches that have been carried out over 11 years to find new ways of constructing a-2-free words over 4 letters. In this process, we have encountered some unintuitive non-linear phenomena which, however, are in accordance with the complex behaviour of simple systems studied by Stephen Wolfram in his long-awaited book [35]. For example, two same looking initial values for prefixes and suffixes of image words for letters may yield 1000-fold running times when searching through all possibilities for proper infixes! We also analyse the structure of g85 in terms of subwords, and discuss some open problems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Equivalence Problem of Context-free and DT0L Languages

It is undecidable whether or not a given context-free language and a propagating DT0L language are equal. We show that equivalence is decidable between context-free and everywhere growing DT0L languages.

متن کامل

Improved Bounds on the Length of Maximal Abelian Square-free Words

A word is abelian square-free if it does not contain two adjacent subwords which are permutations of each other. Over an alphabet Σk on k letters, an abelian squarefree word is maximal if it cannot be extended to the left or right by letters from Σk and remain abelian square-free. Michael Korn proved that the length `(k) of a shortest maximal abelian square-free word satisfies 4k − 7 ≤ `(k) ≤ 6...

متن کامل

Abelian Square-Free Partial Words

Erdös raised the question whether there exist infinite abelian square-free words over a given alphabet (words in which no two adjacent subwords are permutations of each other). Infinite abelian square-free words have been constructed over alphabets of sizes as small as four. In this paper, we investigate the problem of avoiding abelian squares in partial words (sequences that may contain some h...

متن کامل

Avoiding abelian squares in partial words

Erdös raised the question whether there exist infinite abelian squarefree words over a given alphabet, that is, words in which no two adjacent subwords are permutations of each other. It can easily be checked that no such word exists over a three-letter alphabet. However, infinite abelian square-free words have been constructed over alphabets of sizes as small as four. In this paper, we investi...

متن کامل

Infiniteness and Boundedness in 0L, DT0L, and T0L Systems

We investigate the boundary between finiteness and infiniteness in three types of L systems: 0L, DT0L, and T0L. We establish necessary and sufficient conditions for 0L, DT0L, and T0L systems to be infinite, and characterize the boundedness of finite classes of such systems. First, we give a pumping lemma for these systems, proving that the language of a system is infinite iff the system is pump...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002